formal system 뜻

• 형식 체계

• formal:    adjective, noun, adverb, 모양의, 형식상의,
• system:    noun, 조직, 체계, 계통, 학설, 제도,
• formal:    adjective, noun, adverb, 모양의, 형식상의, 정식의, 의례적인, 딱딱한, 정식으로하다, 형식화하다, (야회복을 입고 가는) 정식 무도회, 야회복, 야회복으로. formalness n.
• a formal address:    식사
• formal cause:    phrase, 형상인
• formal charge:    형식 전하
• formal declaration:    단언
• formal dinner:    정찬
• formal education:    phrase, 형식적(정규) 교육
• formal epistemology:    정식 인식론
• formal fallacy:    오류론
• formal grammar:    형식 문법
• formal language:    phrase, (수학, 논리학 등) 형식언어
• formal languages:    형식 언어
• formal logic:    수리논리학; 기호 논리학; 수리 논리학

예문

1. He insisted on the existence of a conceptual realm within mathematics which transcends formal systems.
   그는 어떤 공식적인 시스템을 초월하는 수학 시간 개념 영역의 존재를 주장했다.
2. In 1961 he also published the monograph Theory of formal systems published by Princeton University Press.
   1961 년 논문도 공식적인 시스템 이론 프린스턴 대학 출판부에서 출판을 발표했다.